#include <stdio.h>

int main(){

    unsigned char result = 0;
    int feb; //判断是否是闰年
    int year, month, day, hour, minute;

    scanf("%d-%d-%d-%d-%d",&year,&month,&day,&hour,&minute);

    feb = (((year%4)==0)&&((year%100)!=0))||(year%400==0);  //闰年计算，看当前年份是否能被4整除但不能被100整除，或能被400整除
        //最先检查的是日期时间是否在的正常的范围（像是什么13月份，25点60分这样的时间一看就是有问题的）
    if((year<0||year>9999)||(month<0||month>12)||(day<=0||day>=32)||(hour<0||hour>=24)||(minute<0||minute>=60)){
        result = 1;
    }
    else if(feb==0&&month==2&&day>=29){ //判断当前年份不是闰年时，2月的日期是否正确
        result = 1;
    }
    else if(((month==4)||(month==6)||(month==9)||(month==11))&&(day>=31)){ //判断小月的月份（4月、6月、9月和11月）是否有出现31天的情况
        result = 1;
    }
    else if((month==2)&&(day>29)){ //判断2月份是否有超出29天的上限
        result = 1;
    }


    if(result==1){  //假如通过一系列判断后，result=1，说明日期是有问题的，因此就输出False
        printf("False");
    }
    else{
        printf("True");
    }
    return 0;
}